$\forall$$s$:DSet. IsEqFun($\mid$$s$$\mid$;=$_{b}$)